Autor: Feller, Federico Se han encontrado 3 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Artículo |
Justification logic as a foundation for certifying mobile computation : | Bonelli, Eduardo |
(2011) |
---------- | |
Tesis |
Lógica de pruebas para certificación de computación móvil: | Feller, Federico |
(2009) |
Sala
|
---------- |
|
Artículo |
The logic of proofs as a foundation for certifying mobile computation : | Bonelli, Eduardo |
(2009) |
---------- |